Nuprl Definition : ecl-ex
0,22
postcript
pdf
ecl-ex(
x
)
== ecl_ind(
x
;
k
,
test
.nil;
a
,
b
,
A
,
B
.merge(
A
;
B
);
a
,
b
,
A
,
B
.merge(
A
;
B
);
a
,
b
,
A
,
B
.merge(
A
;
B
);
a
,
A
.
A
;
a
,
m
,
A
.
A
;
a
,
m
,
A
.if
m
=
0
== ecl_ind(
x
;
k
,
test
.nil;
a
,
b
,
A
,
B
.merge(
A
;
B
);
a
,
b
,
A
,
B
.merge(
A
;
B
);
a
,
b
,
A
,
B
.merge(
A
;
B
);
a
,
A
.
A
;
a
,
m
,
A
.
A
;
a
,
m
,
A
.if
A
== ecl_ind(
x
;
k
,
test
.nil;
a
,
b
,
A
,
B
.merge(
A
;
B
);
a
,
b
,
A
,
B
.merge(
A
;
B
);
a
,
b
,
A
,
B
.merge(
A
;
B
);
a
,
A
.
A
;
a
,
m
,
A
.
A
;
a
,
m
,
A
.
else s-insert(
m
;
A
) fi;
a
,
l
,
A
.
A
)
latex
Definitions
ecl
ind
,
nil
,
merge(
as
;
bs
)
,
if
b
t
else
f
fi
,
i
=
j
,
#$n
,
s-insert(
x
;
l
)
FDL editor aliases
ecl-ex
origin